Effectively Solving NP-SPEC Encodings by Translation to ASP

NP-SPEC is a language for specifying problems in NP in a declarative way. Despite the fact that the semantics of the language was given by referring to Datalog with circumscription, which is very close to ASP, so far the only existing implementations are by means of ECLiPSe Prolog and via Boolean satisfiability solvers. In this paper, we present translations from NP-SPEC into ASP, and provide an experimental evaluation of existing implementations and the proposed translations to ASP using various ASP solvers. The results show that translating to ASP clearly has an edge over the existing translation into SAT, which involves an intrinsic grounding process. We also argue that it might be useful to incorporate certain language constructs of NPSPEC into mainstream ASP

Atividade anti-protozoários de Croton cajucara Benth. e do 7-Hidroxi-calameneno.

O objetivo deste trabalho foi avaliar a atividade anti-protozoários de óleos essenciais obtidos de 5 diferentes acessos de sacaca e do 7-hidroxi-calameneno isolado desses óleos contra parasitas do gênero Leishmania e Trypanosoma

Anti-candidal activity of 7-hydroxycalamenene isolated from croton cajucara.

The leaves and bark from Croton cajucara Benth (family Euphorbiaceae), a shrub from the Amazon, have been used locally used in folk medicine to treat, diabetes, malaria, grastrointestinal and liver disorders.Abstract number 349

Bioproducts from different Brazilian plants with antimicrobial activities against sulfate-reducing bacteria (SRB).

Poster 094. SBOE 2015

Anti-Zygomycetes activity of 7-hydroxycalamenene isolated from Croton cajucara.

The leaves and bark from Croton cajucara Benth. (family Euphorbiaceae), a shrub from the Amazon, have been used locally used in folk medicine to treat diabetes, malaria, gastrointestinal and liver disorders [1]. The essential oil from the leaves is rich in linalool [2] and presented antileishmanial and antimicrobial activities [3,4]

Inibição da atividade proteásica de Rhizopus oryzae pelos óleos de Croton cajucara e Croton sacaquinha.

Ainda não existe registro de atividade antifúngica do óleo essencial desta espécie. Este trabalho tem como objetivo a investigação da inibição da atividade de proteases secretadas para o sobrenadante de cultivo de formas micelianas de R. oryzae